Revision: tla-tools--devo--0--patch-14
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Sun Jan 25 21:24:11 JST 2004
Standard-date: 2004-01-25 12:24:11 GMT
Modified-files: Makefile.in configure
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-14
Summary: Make $SED changes work when _not_ explicitly specified by user

Also improve integration with configure system, and use $SED in more places.
